Recenzja książki: Friedemann Schulz von Thun Sztuka Rozmawiania. Analiza zaburzeń

M. Volker SCHULZ-von der GATHEN Principal Investigator, Ruhr-Universität

System Description : E 1 . 8 Stephan Schulz

E is a theorem prover for full first-order logic with equality. It reduces first-order problems to clause normal form and employs a saturation algorithm based on the equational superposition calculus. E is built on shared terms with cached rewriting, and employs several innovations for efficient clause indexing. Major strengths of the system are automatic problem analysis and highly flexible se...

Analiza bezbednosnih mehanizama OSPF protokola

Service or system security depends on the security of any component used on that system. Computer network attacks can jeopardize normal network functionality. There are cases where an attacker can gain unauthorized control over classified data. OSPF is the most common link state routing protocol. In this paper, we have analyzed OSPF security issues and described some protection methods. Analysi...

Hochschild Cohomology of the Liu–schulz Algebras

A description of the Hochschild cohomology algebra for the symmetric 8-dimensional algebras found by Liu and Schulz is given in terms of generators and relations. The dimensions of the cohomology groups are calculated. §

The Determination of Lactic Acid.* by Theodore E. Friedemann

Lactic acid is a substance of major significance throughout the orders of life, from microbe to man. Its relation to the carbohydrate metabolism has been very extensively st,udied; and it is not surprising, therefore, that many methods have been proposed for its quantitative estimation. Most of the methods depend upon the conversion of lactic acid into acetaldehyde (1, 2), the latter being dete...